Combining Algebraizable Logics
نویسندگان
چکیده
منابع مشابه
Combining Algebraizable Logics
The general methodology of “algebraizing” logics (cf. [2], [4]) is used here for combining different logics. The combination of logics is represented as taking the colimit of the constituent logics in the category of algebraizable logics. The cocompleteness of this category as well as its isomorphism to the corresponding category of certain first-order theories are proved. In this paper we tran...
متن کاملCaicedo Implicit Connectives of Algebraizable Logics
An extensions by new axioms and rules of an algebraizable logic in the sense of Blok and Pigozzi is not necessarily algebraizable if it involves new connective symbols, or it may be algebraizable in an essentially different way than the original logic. However, extension whose axioms and rules define implicitly the new connectives are algebraizable, via the same equivalence formulas and definin...
متن کاملOn semilattice-based logics with an algebraizable assertional companion
This paper studies some properties of the so-called semilattice-based logics (which are defined in a standard way using only the order relation from a variety of algebras that have a semilattice reduct with maximum) under the assumption that its companion assertional logic (defined from the same variety of algebras using the top element as representing truth) is algebraizable. This describes a ...
متن کاملDuality for Lattice-Ordered Algebras and for Normal Algebraizable Logics
Part I of this paper is developed in the tradition of Stone-type dualities, where we present a new topological representation for general lattices (innuenced by and abstracting over both Goldblatt's 17] and Urquhart's 46]), identifying them as the lattices of stable compact-opens of their dual Stone spaces (stability refering to a closure operator on subsets). The representation is functorial a...
متن کاملLöwenheim-Skolem theorems for non-classical first-order algebraizable logics
This paper is a contribution to the model theory of non-classical firstorder predicate logics. In a wide framework of first-order systems based on algebraizable logics, we study several notions of homomorphisms between models and find suitable definitions of elementary homomorphism, elementary substructure and elementary equivalence. Then we obtain (downward and upward) Löwenheim–Skolem theorem...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1996
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1040046092